Simply typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Simply typed lambda calculus
Results: 80

#	Item
31	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
32	J-Calc: A typed λ-calculus for Justification Logic K. Pouliasis1 , G. Primiero2 1 Department of Computer Science, Graduate Center, CUNY 2 FWO, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-15 07:37:00 Philosophy of mathematics Logic in computer science Type theory Lambda calculus Mathematical constructivism Curry–Howard correspondence Simply typed lambda calculus Logic Mathematical logic Mathematics Theoretical computer science Computer science
33	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer science Proof theory Models of computation Computability theory Natural deduction Simply typed lambda calculus Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematical logic Lambda calculus
34	The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL Chitta Baral1 , Marcos Alvarez Gonzalez1 , and Aaron Gottesman1 School of Computing, Inf Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-02-13 21:47:51 Mathematical logic Type theory Logic in computer science Theory of computation Predicate logic Combinatory logic Simply typed lambda calculus Type constructor First-order logic Theoretical computer science Lambda calculus Mathematics
35	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification D EFINING H IGHER O RDER L OGIC Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Model theory Boolean algebra Fixed-point combinator First-order logic Hoare logic Propositional calculus Simply typed lambda calculus Mathematical logic Logic Theoretical computer science
36	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2015-01-13 22:35:40 Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic Mathematical logic Mathematics
37	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
38	Under consideration for publication in Theory and Practice of Logic Programming 1 Typed Answer Set Programming Lambda Calculus Theories and Correctness of Inverse Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-04-01 13:35:06 Applied mathematics Type theory Logic in computer science Theory of computation Combinatory logic Simply typed lambda calculus Typed lambda calculus Type constructor Calculus Theoretical computer science Lambda calculus Computer science
39	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
40	Formal Neighbourhoods, Combinatory B¨ohm Trees, and Untyped Normalization by Evaluation Peter Dybjer∗and Denis Kuperberg† February 29, 2008 Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51 Computer science Normalisation by evaluation Combinatory logic Fixed-point combinator Simply typed lambda calculus Denotational semantics Free variables and bound variables Functional programming Standard ML Theoretical computer science Lambda calculus Mathematics